This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

The formation of particles of elemental tin in association with the nucleation of the precipitate phase θ′ in an Al–1.7 at.% Cu–0.01 at.% Sn alloy has been investigated by high resolution transmission electron microscopy. Analysis of lattice images has demonstrated that these tin particles associated with θ′ platelets formed during short-term ageing (typically 3 min at 200 degrees Celcius) exhibit a crystallographic form that is distinctly different from that previously reported in such ternary alloys and also from that observed in (...) the binary alloy Al–0.01 at.% Sn. Those tin particles that could be clearly identified as β-Sn phase shared a crystallographic relationship of the form (001)Sn‖(001)Al‖(001)θ′, [110]Sn‖[100]Al‖[100]θ′ with the α-Al and θ′ phases with which they were simultaneously in contact. The observations imply that, while tin may assist nucleation of platelets of θ′, the formation of θ′ equally influences the crystallography of β--Sn that forms in association with θ′. Following prolonged ageing (typically 50 h at 200°C), the β-Sn particles in contact with θ′ plates had coarsened and diminished in number, and most now exhibited an orientation relationship with α-Al matrix similar to that observed in the binary alloy Al–0.01 at.% Sn (i.e. (100)Sn‖(111)Al, [010]Sn‖[112]Al) and to that previously observed in the later stages of ageing of the ternary alloy Al–1.7 at.% Cu–0.01 at.% Sn. (shrink)

We review some of the essential novel ideas introduced by Bohm through the implicate order and indicate how they can be given mathematical expression in terms of an algebra. We also show how some of the features that are needed in the implicate order were anticipated in the work of Grassmann, Hamilton, and Clifford. By developing these ideas further we are able to show how the spinor itself, when viewed as a geometric object within a geometric algebra, can be given (...) a meaning which transcends the notion of the usual metric geometry in the sense that it must be regarded as an element of a broader and more general pregeometry. (shrink)

This study provides current data on key questions about retraction of scientific articles. Findings confirm that the rate of retractions remains low but is increasing. The most commonly cited reason for retraction was research error or inability to reproduce results; the rate from research misconduct is an underestimate, since some retractions necessitated by research misconduct were reported as being due to inability to reproduce. Retraction by parties other than authors is increasing, especially for research misconduct. Although retractions are on average (...) occurring sooner after publication than in the past, citation analysis shows that they are not being recognised by subsequent users of the work. Findings suggest that editors and institutional officials are taking more responsibility for correcting the scientific record but that reasons published in the retraction notice are not always reliable. More aggressive means of notification to the scientific community appear to be necessary. (shrink)

Herein we examine the theory and practical limits of designing a voluntary incentive scheme to protect endangered species on private land. We consider both an ay-ante scheme, in which a contract to the landholder depends only on what the landholder reports, and an ay-post scheme, in which a contract to the landholder depends on reports from all landowners. Except in special cases, the ex-ante scheme never implements the full information allocation, and can actually set aside too much land. In contrast, (...) expected habitat size under the ex-post scheme is smaller than both the ex-ante and full information allocations. (C) 2001 Elsevier Science (USA). (shrink)